Formal methods in computer-aided design - proceedings
- Författare
- Albert Camilleri Mandayam Srivas International Conference on Formal Methods in Computer-Aided Design 1996) Palo Alto :
- (First International conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 Mandayam Srivas, Albert Camilleri (eds.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1996 | Tyskland, Berlin | ix, 470 sidor. ill. |